Thanks for this change.

A big feature that makes go-journal interesting is the fact that it's verified correct, with a corresponding specification and proof in the perennial repo (https://github.com/mit-pdos/perennial). I don't think we would want to change that, at least for the master branch, so I expect we wouldn't merge changes without a corresponding updated proof. Updating the proof can require a fair bit of background, though..